signature CFGMAIN_STRUCTS =
sig
  structure Ir : IR
  structure Cfg : CFG
  sharing Cfg.Atoms = Ir.Atoms
  sharing Cfg.Types = Ir.Types
end

signature CFGMAIN =
sig
  include CFGMAIN_STRUCTS
  
  val ir2cfg : Ir.Program.t -> Cfg.Program.t
end
